Theoretical computer science - PDFSEARCH.IO - Document Search Engine

Theoretical computer science
Results: 9916

#	Item
331	Proceedings of the 6th International Workshop on the Implementation of Logics Christoph Benzm¨ uller, Bernd Fischer, Geoff Sutcliffe Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2006-11-07 08:18:44 Theoretical computer science Automated theorem proving Mathematical logic Software Superposition calculus E theorem prover Vampire Term indexing Resolution Handbook of Automated Reasoning Automated reasoning Unification
332	Design of a Power Optimal Reversible FIR Filter ASIC Speech Signal Processing Yelle Harika M.Tech, Joginpally B.R.Engineering College. Add to Reading List Source URL: www.ijmetmr.com Language: English - Date: 2016-08-16 07:16:56 Computer arithmetic Theoretical computer science Arithmetic Digital circuits Electronic engineering Logic gates Adder Binary logic Models of computation Dadda multiplier Carry-select adder Carry-lookahead adder
333	Turning error-reducing quantum turbo codes into error-correcting codes Mamdouh Abbara (MEc), Iryna Andriyanova (ENSEA), Jean-Pierre Tillich (INRIA) QEC14 December the 17th, 2014 Add to Reading List Source URL: www.qec14.ethz.ch Language: English - Date: 2014-12-19 09:02:11 Error detection and correction Information theory Theoretical computer science Mathematics Convolutional code Low-density parity-check code Turbo code Forward error correction Quantum convolutional code Quantum error correction
334	Wrong side of the tracks: Big Data and Protected Categories Simon DeDeo∗ June 23, 2016 Abstract Add to Reading List Source URL: www.santafe.edu Language: English - Date: 2016-06-27 12:55:13 Science Formal sciences Philosophy Cybernetics Computational neuroscience Algorithm Mathematical logic Theoretical computer science Machine learning Causality Decision tree Artificial intelligence
335	RESIDUAL-BASED DISCRETIZATION ERROR ESTIMATION FOR COMPUTATIONAL FLUID DYNAMICS Tyrone S. Phillips Add to Reading List Source URL: www.vsgc.odu.edu Language: English - Date: 2013-05-02 13:43:33 Numerical analysis Mathematical analysis Discretization error Computational fluid dynamics Theoretical computer science Numerical error Mathematics Finite element method
336	Can Quantum Search Accelerate Evolutionary Algorithms? Daniel Johannsen Max Planck Institute for Informatics Department of Algorithms and Complexity Saarbrücken, Germany Add to Reading List Source URL: www.cse.iitk.ac.in Language: English - Date: 2016-07-30 09:35:21 Theoretical computer science Theory of computation Computational complexity theory Quantum algorithms Quantum computing Models of computation Decision tree model Quantum phase estimation algorithm PP Quantum walk Time complexity Quantum information
337	Resum´e Kristoffer Høgsbro Rose, Ph.D. , & (+SeptemberEmployment Add to Reading List Source URL: krisrose.net Language: English - Date: 2015-09-22 13:54:54 Computing Theoretical computer science Programming language theory Logic in computer science Formal languages Lambda calculus Functional languages Markup languages Explicit substitution International Conference on Rewriting Techniques and Applications XSLT Combinatory logic
338	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle
339	TECHNISCHE UNIVERSITÄT MÜNCHEN FAKULTÄT FÜR INFORMATIK Software & Systems Engineering Prof. Dr. Dr. h.c. Manfred Broy SPES 2020 Deliverable 1.3.A-1 Add to Reading List Source URL: spes2020.informatik.tu-muenchen.de Language: English - Date: 2012-02-20 08:24:11 Software engineering Formal methods Computing Theoretical computer science Software testing Software quality Logic in computer science Software verification Formal verification Runtime verification Model checking Reliability engineering
340	OSSIA: TOWARDS A UNIFIED INTERFACE FOR SCORING TIME AND INTERACTION Jean-Michaël Celerier Blue Yeti Add to Reading List Source URL: tenor2015.tenor-conference.org Language: English - Date: 2015-05-26 15:55:56 Software engineering Concurrency Models of computation Constraint programming Diagrams Programming paradigms Formal methods Theoretical computer science Petri net Constraint logic programming Decomposition method

UPDATE